逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

化学非平衡尾迹流场的数值计算

高超音速化学非平衡尾迹流场的分析及计算是再入空气动力学的一个重要课题。本文采用轴线极限方程,成功地消除了控制方程在轴线上的奇性;采用二阶精度的中心差隐格式,求解了抛物化的Ｎ－Ｓ方程,得到了２０ｋｍ及６０ｋｍ再入时尾迹流场的数值解。计算结果表明,在远尾迹场,对电子数密度的主要影响是Ｏ_２的吸附反应。     

论防空火力配系的评价问题

本文提出了对弹炮结合防空火力配系的定量化评价的思路,并探讨了火力配系指标的应用方法。     

舰船空调系统改进性方案设计

本文针对航行在热带海区的某型舰船用空调系统存在的降温效果差、舱室风机盘管噪音大、操作管理不便等问题进行了研究,并提出了改进设计方案;经实船安装和调试,明显改善了空调舱室的舒适性,提高了设备工作的可靠性和自动化管理程度,收到了良好的效果。     

表格/文本图像歪斜度检测方法

在表格处理和光符识别软件中．歪斜图像校正是一项重要的预处理技术。针对文本和表格图像,本文提出了一种基于线条检测模型的高精度、快速的歪斜图像检测方法。     

C~3I系统分析的分层策略

通过对Ｃ３Ｉ系统体系结构的多维多层次性特征的分析,表明Ｃ３Ｉ系统分析的分层策略是一种突出系统整体性,体现系统相关性,实现从定性到定量综合集成的有效方略,可以应用于Ｃ３Ｉ系统分析的各个阶段。     

高速列车外形计算机辅助设计

介绍了一种自行开发的用来进行高速列车头尾部流线型外型方案设计的计算机辅助几何造型软件,并给出了一个利用该软件进行设计的实例。     

测量误差平稳性检验的数据预处理研究

在航天飞行器测量中,测量噪声是不可观测的。这就需要对含有误差的测量数据进行预处理以获得测量噪声的信息。本文从理论上对广泛应用的两种模型进行了系统性的研究,为处理方法的合理性提供了理论依据,并用仿真结果进行了验证。     

分布式 Client/Server 智能应用系统 DIAS 的设计与实现

本文针对油气田储集层保护的复杂应用需求,基于分布式Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算机模型,设计了相应的分布式智能应用系统ＤＩＡＳ,实现了计算资源共事和知识、数据共享。该系统已在实际应用中取得了良好的效益。     

小钝头锥体全目标流场与光电特性一体化数值模拟

从简化的或全ＮＳ方程出发,采用化学非平衡和热辐射非平衡模型,数值模拟了有烧蚀产物引射条件下小钝头锥体全目标流场与光电特性,旨在为防护设计提供气动物理环境数据。计算结果表明,本文流场模拟数据与实验数据基本吻合,壁面烧蚀产物引射和壁面催化特性对流场电子数密度均有量级影响。